STTL: A Standard Timetabling Language (DRAFT)
نویسنده
چکیده
This paper presents STTL, a language for communicating, storing, and evaluating timetabling problems, instances, and solutions. An interpreter for STTL is freely available on the Internet. The paper also includes a case study of high school timetabling.
منابع مشابه
Modelling Timetabling Problems with STTL
STTL is a language for specifying and evaluating timetabling problems, instances, and solutions. An interpreter for STTL is freely available on the Internet. After a brief overview of the language, this paper explores the issues involved in applying STTL to real-world problems,using high school timetabling as a case study.
متن کاملA User’s Guide to the STTL Timetabling Language
This paper presents STTL, a language for communicating, storing, and evaluating timetabling problems, instances, and solutions. An interpreter for STTL is freely available on the Internet.
متن کاملAn Extensible Modelling Framework for the Examination Timetabling Problem
A number of modelling languages for timetabling have been proposed to standardise the specification of problems, solutions and their data formats. These languages have not been adopted as standard due to not simplifying the modelling process, lack of features and offering little advantage over traditional programming languages. In contrast to this approach we propose a new language-independent ...
متن کاملSTTL - A SPARQL-based Transformation Language for RDF
The general research question addressed in this paper is How to transform RDF into other languages. This is of prime interest to present data selected and extracted from the Web of data in a format suitable for the user (e.g., HTML or CSV). Moreover, RDF can be viewed as a meta-model to represent on the Web of data other languages and models. The above research question then becomes How to gene...
متن کاملValidating Ontologies Against OWL 2 Profiles with the SPARQL Template Transformation Language
In this paper we address the general research question of How can we express constraints on RDF data and how can we check that an RDF graph satisfies some given constraints? and we focus on expressing constraints defining OWL 2 profiles and checking these constraints for OWL validation. We propose an approach based on the SPARQL Template Transformation language (STTL). An STTL template is a tra...
متن کامل